[INFO] cloning repository https://github.com/arkagh0sh/hilbert
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/arkagh0sh/hilbert" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farkagh0sh%2Fhilbert", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farkagh0sh%2Fhilbert'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 69164737fa2e7224f42736249041122b78b2e4f0
[INFO] checking arkagh0sh/hilbert against master#c0bb140a37c81cf59a0b40c21c9413059644e294 for pr-129249-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farkagh0sh%2Fhilbert" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/arkagh0sh/hilbert
[INFO] finished tweaking git repo https://github.com/arkagh0sh/hilbert
[INFO] tweaked toml for git repo https://github.com/arkagh0sh/hilbert written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/arkagh0sh/hilbert on toolchain c0bb140a37c81cf59a0b40c21c9413059644e294
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c0bb140a37c81cf59a0b40c21c9413059644e294" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c0bb140a37c81cf59a0b40c21c9413059644e294" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 17 packages to latest Rust 1.98.0-nightly compatible versions
[INFO] [stderr]       Adding itertools v0.14.0 (available: v0.15.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c0bb140a37c81cf59a0b40c21c9413059644e294" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded libm v0.2.16
[INFO] [stderr]   Downloaded az v1.3.0
[INFO] [stderr]   Downloaded autocfg v1.5.1
[INFO] [stderr]   Downloaded either v1.16.0
[INFO] [stderr]   Downloaded sorted-iter v0.1.11
[INFO] [stderr]   Downloaded contracts v0.6.7
[INFO] [stderr]   Downloaded itertools v0.14.0
[INFO] [stderr]   Downloaded rug v1.30.0
[INFO] [stderr]   Downloaded gmp-mpfr-sys v1.7.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3e793bdf10248eb2ddbd6b0faebed8155c11b4589982e2893733958d93e8d540" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] fe358585b7c56766f63be4c2c387d9ae0f3e4c38d4ae12fc22ea9372e3e70cf2
[INFO] running `Command { std: "docker" "start" "fe358585b7c56766f63be4c2c387d9ae0f3e4c38d4ae12fc22ea9372e3e70cf2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "fe358585b7c56766f63be4c2c387d9ae0f3e4c38d4ae12fc22ea9372e3e70cf2" "/opt/rustwide/cargo-home/bin/cargo" "+c0bb140a37c81cf59a0b40c21c9413059644e294" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fe358585b7c56766f63be4c2c387d9ae0f3e4c38d4ae12fc22ea9372e3e70cf2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "fe358585b7c56766f63be4c2c387d9ae0f3e4c38d4ae12fc22ea9372e3e70cf2" "/opt/rustwide/cargo-home/bin/cargo" "+c0bb140a37c81cf59a0b40c21c9413059644e294" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling gmp-mpfr-sys v1.7.1
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling libm v0.2.16
[INFO] [stderr]    Compiling autocfg v1.5.1
[INFO] [stderr]    Compiling rug v1.30.0
[INFO] [stderr]     Checking az v1.3.0
[INFO] [stderr]     Checking either v1.16.0
[INFO] [stderr]     Checking sorted-iter v0.1.11
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling contracts v0.6.7
[INFO] [stderr]     Checking atomic_hilbert v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved imports `contracts::pre`, `contracts::post`
[INFO] [stdout]  --> src/dlo.rs:5:17
[INFO] [stdout]   |
[INFO] [stdout] 5 | use contracts::{pre, post};
[INFO] [stdout]   |                 ^^^  ^^^^ no `post` in the root
[INFO] [stdout]   |                 |
[INFO] [stdout]   |                 no `pre` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `orbit_reps` is not a member of trait `AtomsWithOrd`
[INFO] [stdout]   --> src/dlo.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 62 | /     fn orbit_reps(n : usize) -> 
[INFO] [stdout] 63 | |         Vec<Vec<Self>>
[INFO] [stdout] 64 | |         where
[INFO] [stdout] 65 | |             Self : Sized {
[INFO] [stdout] ...  |
[INFO] [stdout] 80 | |         return unique_reps;
[INFO] [stdout] 81 | |     }
[INFO] [stdout]    | |_____^ not a member of trait `AtomsWithOrd`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `DLO_var` in this scope
[INFO] [stdout]   --> src/dlo.rs:32:18
[INFO] [stdout]    |
[INFO] [stdout] 32 | impl Display for DLO_var {
[INFO] [stdout]    |                  ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0404]: expected trait, found struct `DLO`
[INFO] [stdout]   --> src/dlo.rs:41:11
[INFO] [stdout]    |
[INFO] [stdout] 41 | impl <X : DLO> AtomsWithOrd for X    {
[INFO] [stdout]    |           ^^^ not a trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `return` value
[INFO] [stdout]    --> src/mon.rs:269:20
[INFO] [stdout]     |
[INFO] [stdout] 269 |             return (self - quotient * other.clone());
[INFO] [stdout]     |                    ^                               ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 269 -             return (self - quotient * other.clone());
[INFO] [stdout] 269 +             return self - quotient * other.clone() ;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Equal`, `Greater`, `Less`, `Ordering`, and `max`
[INFO] [stdout]  --> src/ideal.rs:3:25
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::cmp::{Eq, Ord, Ordering, Ordering::{Equal, Less, Greater}, max};
[INFO] [stdout]   |                         ^^^^^^^^             ^^^^^  ^^^^  ^^^^^^^   ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BTreeMap`
[INFO] [stdout]  --> src/ideal.rs:4:24
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::collections::{BTreeMap, BTreeSet};
[INFO] [stdout]   |                        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Formatter` and `Result`
[INFO] [stdout]  --> src/ideal.rs:5:25
[INFO] [stdout]   |
[INFO] [stdout] 5 | use std::fmt::{Display, Formatter, Result};
[INFO] [stdout]   |                         ^^^^^^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Add` and `Mul`
[INFO] [stdout]  --> src/ideal.rs:7:16
[INFO] [stdout]   |
[INFO] [stdout] 7 | use std::ops::{Add, AddAssign, Div, Mul, MulAssign, Neg, Sub};
[INFO] [stdout]   |                ^^^                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pow` and `identities::One`
[INFO] [stdout]  --> src/ideal.rs:8:24
[INFO] [stdout]   |
[INFO] [stdout] 8 | use num_traits::{Zero, identities::One, Pow, ConstOne};
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]   --> src/atoms.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use std::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BTreeMap` and `HashSet`
[INFO] [stdout]  --> src/elements_with_atoms.rs:4:24
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::collections::{BTreeMap, BTreeSet, HashSet};
[INFO] [stdout]   |                        ^^^^^^^^            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `SubAssign`
[INFO] [stdout]  --> src/bits.rs:1:59
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{ops::{Add, AddAssign, Mul, MulAssign, Neg, Sub, SubAssign, Div}};
[INFO] [stdout]   |                                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `sorted_iter::sorted_pair_iterator::OuterJoin`
[INFO] [stdout]  --> src/bits.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use sorted_iter::sorted_pair_iterator::OuterJoin;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::BTreeSet`
[INFO] [stdout]   --> src/main.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use std::collections::BTreeSet;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `One`, `Pow`, and `Zero`
[INFO] [stdout]   --> src/main.rs:11:18
[INFO] [stdout]    |
[INFO] [stdout] 11 | use num_traits::{Zero, One, Pow};
[INFO] [stdout]    |                  ^^^^  ^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ElementsWithAtoms`, `PartialAut`, `atoms::AtomsWithOrd`, and `helpers::count_between`
[INFO] [stdout]   --> src/main.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     atoms::AtomsWithOrd, dlo::DLO, helpers::count_between, ideal::buchberger, elements_with_atoms::{PartialAut, ElementsWithAtoms}
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^            ^^^^^^^^^^^^^^^^^^^^^^                                           ^^^^^^^^^^  ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]   --> src/atoms.rs:46:9
[INFO] [stdout]    |
[INFO] [stdout] 46 |     Vec<Orbit<BTreeSet<Self>>>
[INFO] [stdout]    |         ^^^^^ -------------- supplied 1 generic argument
[INFO] [stdout]    |         |
[INFO] [stdout]    |         expected 2 generic arguments
[INFO] [stdout]    |
[INFO] [stdout] note: struct defined here, with 2 generic parameters: `A`, `B`
[INFO] [stdout]   --> src/atoms.rs:16:12
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub struct Orbit<A : AtomsWithOrd, B> {
[INFO] [stdout]    |            ^^^^^ -                 -
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]    |
[INFO] [stdout] 46 |     Vec<Orbit<BTreeSet<Self>, B>>
[INFO] [stdout]    |                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]   --> src/elements_with_atoms.rs:87:33
[INFO] [stdout]    |
[INFO] [stdout] 87 |     fn prod_orbit(orbits : &Vec<Orbit<Self>>) -> 
[INFO] [stdout]    |                                 ^^^^^ ---- supplied 1 generic argument
[INFO] [stdout]    |                                 |
[INFO] [stdout]    |                                 expected 2 generic arguments
[INFO] [stdout]    |
[INFO] [stdout] note: struct defined here, with 2 generic parameters: `A`, `B`
[INFO] [stdout]   --> src/atoms.rs:16:12
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub struct Orbit<A : AtomsWithOrd, B> {
[INFO] [stdout]    |            ^^^^^ -                 -
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]    |
[INFO] [stdout] 87 |     fn prod_orbit(orbits : &Vec<Orbit<Self, B>>) -> 
[INFO] [stdout]    |                                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `contracts::pre`, `contracts::post`
[INFO] [stdout]  --> src/dlo.rs:5:17
[INFO] [stdout]   |
[INFO] [stdout] 5 | use contracts::{pre, post};
[INFO] [stdout]   |                 ^^^  ^^^^ no `post` in the root
[INFO] [stdout]   |                 |
[INFO] [stdout]   |                 no `pre` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `orbit_reps` is not a member of trait `AtomsWithOrd`
[INFO] [stdout]   --> src/dlo.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 62 | /     fn orbit_reps(n : usize) -> 
[INFO] [stdout] 63 | |         Vec<Vec<Self>>
[INFO] [stdout] 64 | |         where
[INFO] [stdout] 65 | |             Self : Sized {
[INFO] [stdout] ...  |
[INFO] [stdout] 80 | |         return unique_reps;
[INFO] [stdout] 81 | |     }
[INFO] [stdout]    | |_____^ not a member of trait `AtomsWithOrd`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `DLO_var` in this scope
[INFO] [stdout]   --> src/dlo.rs:32:18
[INFO] [stdout]    |
[INFO] [stdout] 32 | impl Display for DLO_var {
[INFO] [stdout]    |                  ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0404]: expected trait, found struct `DLO`
[INFO] [stdout]   --> src/dlo.rs:41:11
[INFO] [stdout]    |
[INFO] [stdout] 41 | impl <X : DLO> AtomsWithOrd for X    {
[INFO] [stdout]    |           ^^^ not a trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `return` value
[INFO] [stdout]    --> src/mon.rs:269:20
[INFO] [stdout]     |
[INFO] [stdout] 269 |             return (self - quotient * other.clone());
[INFO] [stdout]     |                    ^                               ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 269 -             return (self - quotient * other.clone());
[INFO] [stdout] 269 +             return self - quotient * other.clone() ;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Equal`, `Greater`, `Less`, `Ordering`, and `max`
[INFO] [stdout]  --> src/ideal.rs:3:25
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::cmp::{Eq, Ord, Ordering, Ordering::{Equal, Less, Greater}, max};
[INFO] [stdout]   |                         ^^^^^^^^             ^^^^^  ^^^^  ^^^^^^^   ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BTreeMap`
[INFO] [stdout]  --> src/ideal.rs:4:24
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::collections::{BTreeMap, BTreeSet};
[INFO] [stdout]   |                        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Formatter` and `Result`
[INFO] [stdout]  --> src/ideal.rs:5:25
[INFO] [stdout]   |
[INFO] [stdout] 5 | use std::fmt::{Display, Formatter, Result};
[INFO] [stdout]   |                         ^^^^^^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Add` and `Mul`
[INFO] [stdout]  --> src/ideal.rs:7:16
[INFO] [stdout]   |
[INFO] [stdout] 7 | use std::ops::{Add, AddAssign, Div, Mul, MulAssign, Neg, Sub};
[INFO] [stdout]   |                ^^^                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pow` and `identities::One`
[INFO] [stdout]  --> src/ideal.rs:8:24
[INFO] [stdout]   |
[INFO] [stdout] 8 | use num_traits::{Zero, identities::One, Pow, ConstOne};
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]   --> src/atoms.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use std::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BTreeMap` and `HashSet`
[INFO] [stdout]  --> src/elements_with_atoms.rs:4:24
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::collections::{BTreeMap, BTreeSet, HashSet};
[INFO] [stdout]   |                        ^^^^^^^^            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `SubAssign`
[INFO] [stdout]  --> src/bits.rs:1:59
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{ops::{Add, AddAssign, Mul, MulAssign, Neg, Sub, SubAssign, Div}};
[INFO] [stdout]   |                                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `sorted_iter::sorted_pair_iterator::OuterJoin`
[INFO] [stdout]  --> src/bits.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use sorted_iter::sorted_pair_iterator::OuterJoin;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::BTreeSet`
[INFO] [stdout]   --> src/main.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use std::collections::BTreeSet;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `One`, `Pow`, and `Zero`
[INFO] [stdout]   --> src/main.rs:11:18
[INFO] [stdout]    |
[INFO] [stdout] 11 | use num_traits::{Zero, One, Pow};
[INFO] [stdout]    |                  ^^^^  ^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ElementsWithAtoms`, `PartialAut`, `atoms::AtomsWithOrd`, and `helpers::count_between`
[INFO] [stdout]   --> src/main.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     atoms::AtomsWithOrd, dlo::DLO, helpers::count_between, ideal::buchberger, elements_with_atoms::{PartialAut, ElementsWithAtoms}
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^            ^^^^^^^^^^^^^^^^^^^^^^                                           ^^^^^^^^^^  ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]   --> src/atoms.rs:46:9
[INFO] [stdout]    |
[INFO] [stdout] 46 |     Vec<Orbit<BTreeSet<Self>>>
[INFO] [stdout]    |         ^^^^^ -------------- supplied 1 generic argument
[INFO] [stdout]    |         |
[INFO] [stdout]    |         expected 2 generic arguments
[INFO] [stdout]    |
[INFO] [stdout] note: struct defined here, with 2 generic parameters: `A`, `B`
[INFO] [stdout]   --> src/atoms.rs:16:12
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub struct Orbit<A : AtomsWithOrd, B> {
[INFO] [stdout]    |            ^^^^^ -                 -
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]    |
[INFO] [stdout] 46 |     Vec<Orbit<BTreeSet<Self>, B>>
[INFO] [stdout]    |                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 2 generic arguments but 1 generic argument was supplied
[INFO] [stdout]   --> src/elements_with_atoms.rs:87:33
[INFO] [stdout]    |
[INFO] [stdout] 87 |     fn prod_orbit(orbits : &Vec<Orbit<Self>>) -> 
[INFO] [stdout]    |                                 ^^^^^ ---- supplied 1 generic argument
[INFO] [stdout]    |                                 |
[INFO] [stdout]    |                                 expected 2 generic arguments
[INFO] [stdout]    |
[INFO] [stdout] note: struct defined here, with 2 generic parameters: `A`, `B`
[INFO] [stdout]   --> src/atoms.rs:16:12
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub struct Orbit<A : AtomsWithOrd, B> {
[INFO] [stdout]    |            ^^^^^ -                 -
[INFO] [stdout] help: add missing generic argument
[INFO] [stdout]    |
[INFO] [stdout] 87 |     fn prod_orbit(orbits : &Vec<Orbit<Self, B>>) -> 
[INFO] [stdout]    |                                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0053]: method `support` has an incompatible type for trait
[INFO] [stdout]   --> src/dlo.rs:86:26
[INFO] [stdout]    |
[INFO] [stdout] 86 |     fn support(&self) -> Vec<DLO> {
[INFO] [stdout]    |                          ^^^^^^^^ expected `BTreeSet<DLO>`, found `Vec<DLO>`
[INFO] [stdout]    |
[INFO] [stdout] note: type in trait
[INFO] [stdout]   --> src/elements_with_atoms.rs:51:26
[INFO] [stdout]    |
[INFO] [stdout] 51 |     fn support(&self) -> BTreeSet<A>;
[INFO] [stdout]    |                          ^^^^^^^^^^^
[INFO] [stdout]    = note: expected signature `fn(&BTreeSet<_>) -> BTreeSet<DLO>`
[INFO] [stdout]               found signature `fn(&BTreeSet<_>) -> Vec<DLO>`
[INFO] [stdout] help: change the output type to match the trait
[INFO] [stdout]    |
[INFO] [stdout] 86 -     fn support(&self) -> Vec<DLO> {
[INFO] [stdout] 86 +     fn support(&self) -> BTreeSet<DLO> {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0053, E0107, E0404, E0407, E0425, E0432.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0053`.
[INFO] [stdout] 
[INFO] [stdout] error[E0053]: method `support` has an incompatible type for trait
[INFO] [stdout]   --> src/dlo.rs:86:26
[INFO] [stdout]    |
[INFO] [stdout] 86 |     fn support(&self) -> Vec<DLO> {
[INFO] [stdout]    |                          ^^^^^^^^ expected `BTreeSet<DLO>`, found `Vec<DLO>`
[INFO] [stdout]    |
[INFO] [stdout] note: type in trait
[INFO] [stdout]   --> src/elements_with_atoms.rs:51:26
[INFO] [stdout]    |
[INFO] [stdout] 51 |     fn support(&self) -> BTreeSet<A>;
[INFO] [stdout]    |                          ^^^^^^^^^^^
[INFO] [stdout]    = note: expected signature `fn(&BTreeSet<_>) -> BTreeSet<DLO>`
[INFO] [stdout]               found signature `fn(&BTreeSet<_>) -> Vec<DLO>`
[INFO] [stdout] help: change the output type to match the trait
[INFO] [stdout]    |
[INFO] [stdout] 86 -     fn support(&self) -> Vec<DLO> {
[INFO] [stdout] 86 +     fn support(&self) -> BTreeSet<DLO> {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `atomic_hilbert` (bin "atomic_hilbert" test) due to 7 previous errors; 13 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] Some errors have detailed explanations: E0053, E0107, E0404, E0407, E0425, E0432.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0053`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `atomic_hilbert` (bin "atomic_hilbert") due to 7 previous errors; 13 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "fe358585b7c56766f63be4c2c387d9ae0f3e4c38d4ae12fc22ea9372e3e70cf2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fe358585b7c56766f63be4c2c387d9ae0f3e4c38d4ae12fc22ea9372e3e70cf2", kill_on_drop: false }`
[INFO] [stdout] fe358585b7c56766f63be4c2c387d9ae0f3e4c38d4ae12fc22ea9372e3e70cf2
